Cadiag-2 and Fuzzy Probability Logics
نویسندگان
چکیده
We briefly describe the medical expert system Cadiag-2, developed to support the differential diagnostic process in internal medicine. We propose a propositional logic called fuzzy probability logic as a possible formalization of Cadiag-2 and indicate the way of transferring Cadiag-2's methodology into this framework.
منابع مشابه
Formal approaches to rule-based systems in medicine: The case of CADIAG-2
There is no established formal framework for expert systems based on weighted IFTHEN rules. We discuss three mathematical models that have been recently proposed by the authors for CADIAG-2—a well-known system of this kind. The three frameworks are based on fuzzy logics, probability theory and possibilistic logic, respectively. CADIAG-2 is used here as a case study to evaluate these frameworks....
متن کاملOn the (fuzzy) logical content of CADIAG-2
CADIAG-2 is a successful expert system assisting in the differential diagnosis in internal medicine. With its aid, conjectures about present diseases are derived from possibly vague information about a patient’s symptoms. In this paper we provide a mathematical formalisation of the inferential mechanism of CADIAG-2. A Gentzen-style calculus for the resulting logic is introduced and used to comp...
متن کاملA Formal Logical Framework for Cadiag-2
Cadiag-2-where "Cadiag" stands for "computer-assisted diagnosis"- is an expert system based on fuzzy logic assisting in the differential diagnosis in internal medicine. With its aid, it is possible to derive from possibly vague information about a patient's symptoms, signs, laboratory test results, and clinical findings conjectures about present diseases. In this paper, we provide a mathematica...
متن کاملA probabilistic interpretation of the medical expert system CADIAG-2
CADIAG-2 is a well known expert system aimed at providing support for medical diagnose in the field of internal medicine. CADIAG-2 consists of a knowledge base in the form of a set of IF-THEN rules that relate distinct medical entities, in this paper interpreted as conditional probabilistic statements, and an inference engine constructed upon methods of fuzzy set theory. The aim underlying this...
متن کاملThe Consistency of the Medical Expert System CADIAG-2: A Probabilistic Approach
CADIAG-2 is a well known rule-based medical expert system aimed at providing support in medical diagnose in the field of internal medicine. Its knowledge base consists of a large collection of IF-THEN rules that represent uncertain relationships between distinct medical entities. Given this uncertainty and the size of the system, it has been challenging to validate its consistency. Recent attem...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Studies in health technology and informatics
دوره 150 شماره
صفحات -
تاریخ انتشار 2009